Polynomial rings over Krull orders in simple Artinian rings

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. This paper provides bounds over the ring R[X] on the degrees of the output of several algebraic constructions in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials gi of degree at most d and if f is a polynomial of degree at most d belo...

extremal orders inside simple artinian rings

the aim of this paper is to study orders over a valuation ring v with arbitrary rank in acentral simple f-algebra q. the relation between all of the orders is explained with a diagram. it is thenshown that inside bezout order, extremal v-orders are precisely semi-hereditary. in the last section, theeffect of henselization on maximal and semi-hereditary orders is examined.

Polynomial Rings over Pseudovaluation Rings

Let R be a ring. Let σ be an automorphism of R. We define a σ-divided ring and prove the following. (1) Let R be a commutative pseudovaluation ring such that x ∈ P for any P ∈ Spec(R[x,σ]) . Then R[x,σ] is also a pseudovaluation ring. (2) Let R be a σ-divided ring such that x ∈ P for any P ∈ Spec(R[x,σ]). Then R[x,σ] is also a σ-divided ring. Let now R be a commutative Noetherian Q-algebra (Q i...

On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains

Given an ideal a in A[x1, . . . , xn] where A is a Noetherian integral domain, we propose an approach to compute the Krull dimension of A[x1, . . . , xn]/a, when the residue class ring is a free A-module. When A is a field, the Krull dimension of A[x1, . . . , xn]/a has several equivalent algorithmic definitions by which it can be computed. But this is not true in the case of arbitrary Noetheri...

Artinian and Noetherian Rings